Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
611	Genuinely Functional User Interfaces Antony Courtney 1,2 Dept. of Computer Science Yale University New Haven, CT 06520 Add to Reading List Source URL: conal.net Language: English - Date: 2001-09-17 19:15:42 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
612	GC-savvy Closure conversion GC-savvy Closure conversion Miguel Garcia Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-07-03 03:14:52 Subroutines Functional programming Compiler optimizations Lambda calculus Object-oriented programming Inline expansion Closure Java D Software engineering Computing Computer programming
613	A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:29:22 Type theory Data types Object-oriented programming Models of computation Deduction Type system Symbol Subtype polymorphism Lambda calculus Software engineering Computing Logic
614	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
615	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
616	IMPLEMENTATION OF THE TRANSACTOR MODEL: FAULT TOLERANT DISTRIBUTED COMPUTING USING ASYNCHRONOUS LOCAL CHECKPOINTING By Phillip Kuang A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:52 Concurrent computing Models of computation Actor model SQL .info Continuation Fault-tolerant system Lambda calculus Parallel computing Computing Fault-tolerant computer systems Application checkpointing
617	The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1)) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Variables Predicate logic Data types Free variables and bound variables Function Combinatory logic Mathematics Software engineering Elementary mathematics
618	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
619	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
620	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming

UPDATE